Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
801	A SYSTEM FOR INCREMENTAL LEARNING BASED ON ALGORITHMIC PROBABILITY Ray J. Solomonoff ∗ Computer Learning Research Center Royal Holloway, University of London Mailing Address: P.O.B, Cambridge, Ma, U.S.A. Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-17 03:58:53 Artificial intelligence Algorithmic information theory Theory of computation Ray Solomonoff Computability theory Algorithm Computational complexity theory Complexity NP Theoretical computer science Applied mathematics Mathematics
802	Complex Systems Theory 1988 Some approaches to the study ofcomplex systems are outlined. They are encompassed by an emerging field of science concerned with the general analysis of complexity. Throughout the natural and Add to Reading List Source URL: www.stephenwolfram.com Language: English - Date: 2013-09-24 11:02:11 Cybernetics Structure Nature Cellular automaton Complexity Theory of computation Self-organization Complex systems Systems theory Cellular automata Science Systems
803	System T and the Product of Selection Functions Martín Escardó1 , Paulo Oliva2 , and Thomas Powell2 1 University of Birmingham Department of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-20 06:36:33 Proof theory Computability theory Functions and mappings Theory of computation Dialectica interpretation Function Primitive recursive function Peano axioms Well-founded relation Mathematics Mathematical logic Logic
804	Extracted from: Good Math A Geek’s Guide to the Beauty of Numbers, Logic, and Computation Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-07 09:12:29 Elementary mathematics Mathematical constants Transcendental numbers Irrational number Mathematical logic Field theory Transcendental function Number Real number Mathematics Abstract algebra Mathematical analysis
805	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic
806	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
807	Cryptography with Cellular Automata 1986 This abstract discusses a stream cipher based on a simple one-dimensional cellular automaton. The cellular automaton consists of a circular register with N cells, each Add to Reading List Source URL: www.stephenwolfram.com Language: English - Date: 2013-09-24 11:02:12 Theory of computation Reversible cellular automaton Cyclic cellular automaton Cellular automata Cellular automaton Mathematics
808	39 Closing the Gap: Sequence Mining at Scale KAUSTUBH BEEDKAR, Max Planck Institute for Informatics KLAUS BERBERICH, Max Planck Institute for Informatics RAINER GEMULLA, University of Mannheim IRIS MILIARAKI, Yahoo! Labs Add to Reading List Source URL: dws.informatik.uni-mannheim.de Language: English - Date: 2015-04-21 05:27:15 Models of computation Spectral theory Data mining Symbol Sequence mining
809	On the (Im)possibility of Obfuscating Programs∗ Boaz Barak† Oded Goldreich‡ Amit Sahaik Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2010-07-29 14:23:20 Computability theory Complexity classes Models of computation Theory of computation Obfuscated code Algorithm Oracle machine Pseudorandom function family Computability Theoretical computer science Applied mathematics Computational complexity theory
810	Intensional Polymorphism in Type-Erasure Semantics∗ Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Computer science Applied mathematics

UPDATE